- model execution
- прогон модели
English-Russian dictionary of computer science and programming. 2013.
model execution
Смотреть что такое "model execution" в других словарях:
Model-driven architecture — (MDA) is a software design approach for the development of software systems. It provides a set of guidelines for the structuring of specifications, which are expressed as models. Model driven architecture is a kind of domain engineering, and… … Wikipedia
Model-driven integration — In software design, model driven integration is a subset of model driven architecture (MDA) which focuses purely on solving Application Integration problems using executable Unified Modeling Language (UML). External links Model Driven Integration … Wikipedia
Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… … Wikipedia
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model-specific register — Model specific registers (MSRs) are control registers provided by processor implementations to provide system software with features that are provided on specific processor implementations, but not others. MSRs are used for performance monitoring … Wikipedia
Model-Driven Engineering — Ingénierie dirigée par les modèles L Ingénierie dirigée par les modèles (IDM) est le domaine de l informatique mettant à disposition des outils, concepts et langages pour créer et transformer des modèles. Langages : UML, MOF, QVT Mots… … Wikipédia en Français
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Model driven architecture — L’architecture dirigée par les modèles ou MDA (pour l Anglais Model Driven Architecture) est une démarche de réalisation de logiciels, proposée et soutenue par l OMG. C est une variante particulière de l ingénierie dirigée par les modèles (IDM,… … Wikipédia en Français
Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model transformation — A model transformation, in model driven engineering, is an automatable way of ensuring that a family of models is consistent, in a precise sense which the software engineer can define. The aim of using a model transformation is to save effort and … Wikipedia
Model-based testing tools — This page lists tools for model based testing in alphabetic order. * [http://www.all4tec.net/index.php?option=com content task=blogcategory id=5 Itemid=75 lang=en All4Tec MaTeLo] is a model based testing tool and an automatic test generator. *… … Wikipedia
